Optional element In some cases, users want to rename their files, e.g., because they made a spelling error or because they have developed a new naming policy for their model elements. Other users may want to move their elements to another folder for better readability. Both goals can be achieved with the file manager. Purpose … Continue reading Extras: File manager